101. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
پدیدآورنده: sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2011
102. STOC'05 : proceedings of the 37th Annual ACM Symposium on Theory of Computing : Baltimore, Maryland, USA, May 22-24, 2005
پدیدآورنده: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
رده :
QA
267
.
7
.
A25
2005
103. STOC'07 : proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007
پدیدآورنده: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
رده :
QA
267
.
7
.
A25
2007
104. STOC'06 : proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, Washington, USA, May 21-23, 2006
پدیدآورنده: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
رده :
QA
267
.
7
.
A25
2006
105. SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Berger, Sweden ]i.e. Norway[, July 11-14, 1990 : Proceedings
پدیدآورنده: J.R. Gilbert, R. Karlsson )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Algorithms,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
447
106. SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Berger, Sweden )i.e. Norway(, July 11-14, 1990 : proceedings
پدیدآورنده: Scandinavian Workshop on Algorithm Theory, )2nd, 0991, Bergen, Norway(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algorithms-- Congresses,، Computational complexity-- Congresses
رده :
QA
9
.
58
.
S28
1990
107. SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings
پدیدآورنده: Scandinavian Workshop on Algorithm Theory, )1st, 8891, Halmstad, Sweden(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algorithms-- Congresses,، Computational complexity-- Congresses
رده :
QA
9
.
58
.
S93
1988
108. SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings
پدیدآورنده: R. Karlsson, A. Lingas, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Algorithms,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
318
109. Theory and applications of models of computation :
پدیدآورنده: Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb
110. Theory and applications of models of computation :
پدیدآورنده: T.V. Gopal, Junzo Watada (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
رده :
QA76
.
9
.
M35
T35
2019eb
111. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده: Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
112. Variable neighborhood search :
پدیدآورنده: Nenad Mladenovic, Andrei Sleptchenko, Angelo Sifaleras, Mohammed Omar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial optimization-- Data processing, Congresses.,Heuristic algorithms, Congresses.,Combinatorial optimization-- Data processing.,Heuristic algorithms.
رده :
QA402
.
5
